es{-}eq(${\it es}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of(2of(${\it es}$))